Chiharu Yamada Harder with MetaMath-Cybertron-Starling